Câu ví dụ
- thêm câu ví dụ: 1 2 3
- Based on the lambda calculus, Lisp soon became the programming language of choice for AI applications after its publication in 1960.[14]
Dựa trên tính toán lambda, Lisp sớm trở thành ngôn ngữ lập trình được lựa chọn cho các ứng dụng AI sau khi xuất bản năm 1960.[13] - Based on the lambda calculus, Lisp soon became the programming language of choice for AI applications after its publication in 1960.
Dựa trên tính toán lambda, Lisp sớm trở thành ngôn ngữ lập trình được lựa chọn cho các ứng dụng AI sau khi xuất bản năm 1960.[13] - Based on the lambda calculus, Lisp rapidly became the programming language of choice for AI applications after its publication in 1960.
Dựa trên tính toán lambda, Lisp sớm trở thành ngôn ngữ lập trình được lựa chọn cho các ứng dụng AI sau khi xuất bản năm 1960.[13] - Alonzo Church, the Ph.D. supervisor for the Enigma breaker Alan Turing, came up with the mathematical model of functions called the lambda calculus in the 1930s.
Nhà thờ Alonzo, Tiến sĩ giám sát viên của bộ ngắt Enigma Alan Turing, đã đưa ra mô hình toán học của các hàm được gọi là phép tính lambda vào những năm 1930. - While his proof was published subsequent to Alonzo Church’s equivalent proof in respect to his lambda calculus, Turing’s work is considerably more accessible and intuitive.
Tuy chứng minh của ông được đăng công khai sau chứng minh tương tự của Alonzo Church đối với phép tính lambda (lambda calculus), chứng minh của Turing được coi là dễ hiểu và trực giác hơn.
